Action Refinement

Refinement in object-oriented analysis and design

In this report refinement in object-oriented analysis and design is studied. We focus on process aspects of object-oriented designs, in particular protocols. Protocols describe the order of method invocations in a design. Process algebra is used to give semantics to protocols. Hence refinement in process algebra is studied in this report. There are two kinds of refinement in process algebra: or...

Preserving (Security) Properties under Action Refinement

In the design process of distributed systems we may have to replace abstract specifications of components by more concrete specifications, thus providing more detailed design information. In the context of process algebra this well-known approach is often referred to as action refinement. In this paper we study the relationships between action refinement, compositionality, and (security) proces...

Trace Refinement of Action Systems

Action systems provide a general description of reactive systems, capable of modeling terminating, aborting and infinitely repeating systems. Arbitrary sequential program statements can be used to describe the behavior of atomic actions. Action systems are used to extend program refinement methods for sequential programs to parallel and reactive system refinement. We give here a behavioral sema...

Action Refinement in Process Algebra and Security Issues

In the design process of distributed systems we may have to replace abstract specifications of components by more concrete specifications, thus providing more detailed design information. In the context of process algebra, this well-known approach is often referred to as action refinement. We study the relationships between action refinement and security properties within the Security Process A...

Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B

This paper introduces action refinement in the context of CSP‖B. Our motivation to include this notion of refinement within the CSP‖B framework is the desire to increase flexibility in the refinement process. We introduce the ability to change the events of a CSP process and the B machines when refining a system. Notions of refinement based on traces and on traces/divergences are introduced in ...

Action refinement in end-based choice settings